  The denominator conjecture, proposed by Fomin and Zelevinsky, says that for a
cluster algebra, the cluster monomials are uniquely determined by their
denominator vectors with respect to an initial cluster. In this paper, for a
cluster algebra from a marked surface with at least three boundary marked
points, we establish this conjecture with respect to a given strong admissible
tagged triangulation.
