A D5107: Triple $P = (\Omega, \mathcal{F}, \mathbb{P})$ is a complete probability space if and only if

(1)	$P = (\Omega, \mathcal{F}, \mathbb{P})$ is a D1159: Probability space
(2)	$\mathbb{P}$ is a D3774: Complete probability measure