If we model our (∞,1)-categories by quasicategories, then this can be made precise by saying it is a limit over some simplicial set with finitely many nondegenerate simplices. Note that such a simplicial set is rarely itself a quasicategory; we regard it instead as a finite presentation of a quasicategory.
This appears as (Lurie, cor. 126.96.36.199).
This appears as (Lurie, prop. 188.8.131.52).
Binary products, pullbacks, and terminal objects are all finite -limits.