# Connected Riemannian Manifold with Restricted Exponential Map defined on Whole Tangent Space is Metrically Complete

## Theorem

Let $\struct {M, g}$ be a connected Riemannian manifold.

Let $T_p M$ be the tangent space at $p \in M$.

Let $\exp_p$ be the restricted exponential map defined on the whole $T_p M$.

Then $M$ is metrically complete.