That’s brutal if they missed a tear.
well, aren't muscle strains actually tears?
A strain is also a stretch or tear, but it happens in a muscle or a tendon. Tendons link muscles to the bones.
https://www.webmd.com/fitness-exercise/understanding-sprains-strains#1and
Strain: Muscle or tendon injury
A strain is the overstretching or tearing of a muscle or tendon, which are the fibers that connect the muscles to the bones.
...
Tear: Ligament, muscle or tendon injury
Tears are the ripping of fibrous tissue that can occur in the ligaments, muscles or tendons from similar activities that cause fibers to overstretch, but the diagnosis is more serious and muscle and tendon tears could take multiple months to heal. “Typically, the worse a tear, the more inflammation and pain a person will experience, and the longer it will take for the injury to heal,” Mufich said.
https://vitalrecord.tamhsc.edu/differences-sprain-strain-tear/Sounds like it is sort of a matter of degrees. More or less, if it is a tear it is something that they ice, rest, and play through, they call it a strain, and if they need more rest and can't play through it, they're going to call it a tear.