A para-topos is a cartesian closed (locally) presentable category.
A higher para-topos is defined to be a cartesian closed (locally) presentable infty-category.
If $\mathcal{E}$ is a higher para-topos, then so is the $\infty$-category $Cat(\mathcal{E})$ of complete Segal spaces in $\mathcal{E}$.
The construction $\mathcal{E} \mapsto Cat(\mathcal{E})$ can be iterated and it has fixed points.
Links:
[1] https://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/de/node/3444
[3] https://www.mpim-bonn.mpg.de/de/node/6356