  In this article, we prove a tableau formula for the double Grothendieck
polynomials associated to $321$-avoiding permutations. The proof is based on
the compatibility of the formula with the $K$-theoretic divided difference
operators.
