Definition

A complete measure space is a measure space in which every subset of every null set is measurable i.e. $$(X,\mathcal{F},\mu)\text{ is complete}\iff (\forall E\in \mathcal{F} \text{ s.t }\mu(E)=0:\forall F\subseteq E\implies F\in\mathcal{F})$$