Definition 3.62 
[1]}
A (symmetric) monoidal model category is a closed (symmetric) monoidal category \(({C}, \otimes )\)  together with a model structure on the underlying category \({C}\)  such that:
