Definition 89.7.3. Let $p : \mathcal{F} \to \mathcal{C}_\Lambda$ be a category cofibered in groupoids. The category cofibered in groupoids $\widehat{p} : \widehat{\mathcal F} \to \widehat{\mathcal{C}}_\Lambda$ is called the completion of $\mathcal{F}$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).