Local isometry of complete Riemannian manifolds is covering map
From Diffgeom
Statement
Suppose and
are complete Riemannian manifolds, and
is a local isometry. Then,
is a covering map. In particular, if
is simply connected, then
is an isometry.