Yes, since 2012 the Spanish Service for internationalization (SEPIE) established travel insurance as mandatory for all Erasmus students. Health care would be covered by the European Health Card but they need travel insurance that at least covers repatriation and civil liability.