נראה שהריטב"א נהג להשתמש בכינוי זה יותר משאר הראשונים.
אבל מצינו עוד. עיין ברבינו חננאל שבת קנא ע"א "ופירוש לן מרן וכו' לסבריה לן מרן", והלשון אינה ברורה כ"כ, ובהגהות שם כתבו שככה"נ זו העתקה של שאלה מרב האי גאון.
אבל יש קודם..
ייש"כ. אני התכוונתי למה שמובא בירושלמי שם (פ"ו ה"ג) במעשה בחסיד שנהרג ע"י עדות שקר דכלבה בב"ד של דוד המלך. ושם נקרא "מרן דוד".
אבל התשובה שלך נכונה יותר, שהרי שאול קדם.
אגב כעת מצאתי שבאותו ירושלמי (שם ה"י) מכונה ר' אבהו בשם מרן. וזה חידוש גדול, ומעניין אם יש עוד חכמים שכונו כך בחז"ל.