Elien wrote, "if one doesn't define the mutual inductances (and leakage inductances, which I did not apply in my circuit), how would this change my circuit?"
You define their inductances and coupling coeficients.? LTspice applies them to effectively change the mutual and leakage inductances, automatically, and you don't need to see them.? They are equivalent circuits of one another.? One circuit has explicit mutual and leakage inductors.? The other does not need them and doesn't use them.
This would change your circuit because you would draw it as only two inductors (oriented vertically and connected to ground), and one K coupling coefficient.? It is drawn like the real transformer.
Andy