A D63: Finite sequence $M = (X, \mathcal{F}, \mu)$ is a complete measure space if and only if

(1)	$M = (X, \mathcal{F}, \mu)$ is a D1158: Measure space
(2)	$\mu$ is a D1704: Complete measure

We then say that $X$ forms a complete measure space.