Przestrzeń metryczna zupełna – przestrzeń metryczna o takiej własności, że każdy ciąg Cauchy’ego utworzony z punktów tej przestrzeni ma granicę w punkcie należącym do tej przestrzeni.
Przestrzeń nazywa się niezupełną, jeśli istnieje choć jeden ciąg utworzony z punktów tej przestrzeni, którego granica nie należy do tej przestrzeni. Np. przestrzeń liczb wymiernych z metryką euklidesową nie jest zupełna, gdyż np. można utworzyć ciąg liczb wymiernych, który jest zbieżny do liczby , która jest niewymierna (patrz przykłady poniżej). Przestrzeń niezupełną można uzupełnić o „brakujące” punkty tak, aby stała się zupełna. Np. zbiór liczb wymiernych uzupełniony o „brakujące” punkty staje się zbiorem liczb rzeczywistych.
Pojęcie zupełności wymaga istnienia metryki, pozwalającej określać granice ciągów – dlatego można je definiować tylko dla przestrzeni metrycznych. W szerszej klasie przestrzeni topologicznych, w ogólności niemetryzowalnych, wprowadza się analogiczne pojęcie zwartości przestrzeni.