A D85: Unsigned basic measure $\mu : \mathcal{F} \to [0, \infty]$ is complete if and only if \begin{equation} \forall \, F \in \mathcal{F} \left( \mu(F) = 0 \quad \implies \quad \forall \, E \subseteq F : E \in \mathcal{F} \right) \end{equation}