nLab
Segal-topos

A Segal topos is a model for an (infinity,1)-topos in terms of Segal categories or complete Segal spaces.