Una buena referencia para esto es, por ejemplo, Kobayashi y Nomizu "Foundations of Differential Geometry". El resultado que buscas es: Si $M$ es una variedad completa de Riemann y $p: M\to M'$ es un mapa de cobertura (localmente) isométrico con respecto a otra variedad riemanniana, entonces $M'$ también está completo. Para demostrarlo, nótese que toda geodésica en $M'$ se eleva a una geodésica en $M$ . Dado que las geodésicas en $M$ se extienden a las geodésicas bi-infinitas, se concluye que $M'$ es geodésicamente completa. Ahora, utiliza el Teorema de Hopf-Rinow. En realidad, varias afirmaciones inversas a ésta también son ciertas, por ejemplo, si tanto $M, M'$ son completos y $p: M\to M'$ es un mapa localmente isométrico, entonces $p$ es un mapa de cobertura. Una prueba de esto es un poco más difícil.