1: \begin{definition}[Complete $A$-modules] \label{completemodules}

2: An $A$-module spectrum $M \in \md_A$ is \emph{complete} if it is derived

3: $\mathfrak{m}$-complete (cf. \cite[Theorem 7.3.4.1]{lurie2016spectral}), where $\mathfrak{m} \subset \pi_0(A)$ is the unique

4: maximal ideal. 

5: \end{definition}