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.