A control system is said to be (completely) observable if, for all initial times, the state vector can be determined from the output function (sequence for discrete time), defined over a finite time.