After the grill has been preheated for ten minutes, seven minutes is all it takes to fully sear the tenderloins with appetizing grill marks. Since the second side has already started to cook, it doesn’t take as long to sear as the first side. In fact, if left for the same amount of time, it would start to char. So the second side should look the same as the first side in just six minutes.
At this point, the tenderloins are fully seared, but they will probably only register 125° to 130°F at their thickest parts: not done yet. Clearly they don't need more direct heat. The tenderloins are so close to being done at this point and the grill is so hot that I simply turn off the grill and, in five minutes, the residual heat will fully cook them. For me, "fully cooked" means that a meat thermometer inserted into the thickest section of the pork registers 145° to 150°F.