Finiteness in restricted simplicial decomposition