The core message of this article is to provide semantic and axiomatic conditions that characterize when the product of two locally tabular modal logics is itself locally tabular.
