1-First, begin by trimming any excess fat from the pork tenderloin and patting it dry with paper towels to ensure proper searing.

2-Then, prepare the marinade by mixing olive oil, minced garlic, smoked paprika, black pepper, salt, and chopped rosemary in a bowl.

3-Coat the pork evenly with the marinade, cover, and refrigerate for at least 1 hour, allowing flavors to penetrate.

4-Preheat the grill to medium-high heat (about 400°F) and ensure grates are clean and lightly oiled to prevent sticking.

5-Place the pork tenderloin on the grill and cook for 12-15 minutes, turning every 4-5 minutes for even cooking and to develop grill marks.

6-Use a meat thermometer to check the internal temperature; it should reach 145°F for safe consumption, which aligns with grilling it for a total of about 14 minutes as per expert advice.

7-Remove the pork from the grill and let it rest for 5-10 minutes, allowing juices to redistribute for a juicy texture.

8-Finally, slice the grilled pork tenderloin thinly against the grain and serve immediately with preferred sides.

9-For dietary adaptations, consider grilling vegan alternatives like seitan similarly, adjusting cooking times as needed.