A modified mathematical model describing the human immunodeficiency virus (HIV) pathogenesis with cytotoxic T-lymphocytes (CTL) and infected cells in eclipse phase is presented and studied in this paper. The model under consideration also includes a saturated rate describing viral infection. First, the positivity and boundedness of solutions for nonnegative initial data are proved. Next, the global stability of the disease free steady state and the endemic steady states are established depending on the basic reproduction number R[subscript 0] and the CTL immune response reproduction number R[subscript CTL]. Moreover, numerical simulations are performed in order to show the numerical stability for each steady state and to support our theoretical findings. Our model based findings suggest that system immunity represented by CTL may control viral replication and reduce the infection.