In mathematics, a complete manifold (or geodesically complete manifold) is a (pseudo-) Riemannian manifold for which, starting at any point of , there are straight paths extending infinitely in all directions.

Formally, a manifold is (geodesically) complete if for any maximal geodesic , it holds that . A geodesic is maximal if its domain cannot be