Abstract
In this paper, a completion theorem for gradual metric space and a completion theorem for gradual normed linear space are proved. The completion spaces are defined by means of an equivalence relation obtained by convergence of sequences via the gradual metrics and the gradual norms, respectively.