Numerical Analysis for an Energy-stable Total Discretization of a Poromechanics Model with Inf-sup Stability