A space is etale compact if it is the etale site of a quasi-compact and quasi-separated scheme. This is a more sophisticated version of compactness that uses the language of algebraic geometry and sheaf theory. For example, any smooth Deligne-Mumford stack of finite type over a field is etale compact.