Complete integrability of maps obtained as reductions of integrable lattice equations