In this paper a Kalman filter based observer for a class of deterministic discrete-time nonlinear systems is proposed. Exploiting the system structure, we propose an observer consisting of interlaced Kalman filters and we establish sufficient conditions that guarantee the local convergence of the observer. Numerical simulations illustrate the good trade-off provided by the algorithm between the reduction of the computational load and the estimation accuracy.